% FOLD 1
no_payment_due(student667).
no_payment_due(student500).
no_payment_due(student106).
no_payment_due(student156).
no_payment_due(student93).
no_payment_due(student868).
no_payment_due(student431).
no_payment_due(student962).
no_payment_due(student148).
no_payment_due(student244).
no_payment_due(student207).
no_payment_due(student369).
no_payment_due(student296).
no_payment_due(student614).
no_payment_due(student43).
no_payment_due(student572).
no_payment_due(student662).
no_payment_due(student747).
no_payment_due(student635).
no_payment_due(student220).
no_payment_due(student21).
no_payment_due(student175).
no_payment_due(student197).
no_payment_due(student940).
no_payment_due(student208).
no_payment_due(student41).
no_payment_due(student407).
no_payment_due(student850).
no_payment_due(student874).
no_payment_due(student295).
no_payment_due(student679).
no_payment_due(student340).
no_payment_due(student65).
no_payment_due(student785).
no_payment_due(student601).
no_payment_due(student893).
no_payment_due(student795).
no_payment_due(student12).
no_payment_due(student569).
no_payment_due(student573).
no_payment_due(student536).
no_payment_due(student349).
no_payment_due(student774).
no_payment_due(student452).
no_payment_due(student189).
no_payment_due(student987).
no_payment_due(student942).
no_payment_due(student77).
no_payment_due(student279).
no_payment_due(student209).
no_payment_due(student286).
no_payment_due(student594).
no_payment_due(student138).
no_payment_due(student910).
no_payment_due(student193).
no_payment_due(student386).
no_payment_due(student92).
no_payment_due(student191).
no_payment_due(student331).
no_payment_due(student562).
no_payment_due(student8).
no_payment_due(student812).
no_payment_due(student891).
no_payment_due(student949).
no_payment_due(student904).
no_payment_due(student94).
no_payment_due(student928).
no_payment_due(student831).


% FOLD 2
no_payment_due(student709).
no_payment_due(student214).
no_payment_due(student51).
no_payment_due(student647).
no_payment_due(student442).
no_payment_due(student284).
no_payment_due(student505).
no_payment_due(student589).
no_payment_due(student717).
no_payment_due(student902).
no_payment_due(student721).
no_payment_due(student749).
no_payment_due(student397).
no_payment_due(student975).
no_payment_due(student125).
no_payment_due(student306).
no_payment_due(student607).
no_payment_due(student376).
no_payment_due(student33).
no_payment_due(student953).
no_payment_due(student183).
no_payment_due(student443).
no_payment_due(student924).
no_payment_due(student820).
no_payment_due(student935).
no_payment_due(student680).
no_payment_due(student388).
no_payment_due(student901).
no_payment_due(student664).
no_payment_due(student37).
no_payment_due(student83).
no_payment_due(student127).
no_payment_due(student735).
no_payment_due(student981).
no_payment_due(student364).
no_payment_due(student350).
no_payment_due(student162).
no_payment_due(student580).
no_payment_due(student926).
no_payment_due(student120).
no_payment_due(student384).
no_payment_due(student459).
no_payment_due(student864).
no_payment_due(student391).
no_payment_due(student228).
no_payment_due(student105).
no_payment_due(student444).
no_payment_due(student846).
no_payment_due(student697).
no_payment_due(student570).
no_payment_due(student546).
no_payment_due(student450).
no_payment_due(student508).
no_payment_due(student32).

% FOLD 3

no_payment_due(student342).
no_payment_due(student742).
no_payment_due(student620).
no_payment_due(student673).
no_payment_due(student627).
no_payment_due(student19).
no_payment_due(student745).
no_payment_due(student770).
no_payment_due(student171).
no_payment_due(student234).
no_payment_due(student361).
no_payment_due(student108).
no_payment_due(student467).
no_payment_due(student547).
no_payment_due(student592).
no_payment_due(student121).
no_payment_due(student714).
no_payment_due(student42).
no_payment_due(student104).
no_payment_due(student583).
no_payment_due(student68).
no_payment_due(student475).
no_payment_due(student739).
no_payment_due(student948).
no_payment_due(student227).
no_payment_due(student373).
no_payment_due(student626).
no_payment_due(student923).
no_payment_due(student854).
no_payment_due(student700).
no_payment_due(student49).
no_payment_due(student13).
no_payment_due(student950).
no_payment_due(student441).
no_payment_due(student591).
no_payment_due(student406).
no_payment_due(student599).
no_payment_due(student140).
no_payment_due(student776).
no_payment_due(student134).
no_payment_due(student994).
no_payment_due(student157).
no_payment_due(student90).
no_payment_due(student888).
no_payment_due(student741).
no_payment_due(student631).
no_payment_due(student677).
no_payment_due(student308).
no_payment_due(student9).
no_payment_due(student324).
no_payment_due(student698).
no_payment_due(student204).
no_payment_due(student855).
no_payment_due(student775).
no_payment_due(student155).
no_payment_due(student724).
no_payment_due(student866).
no_payment_due(student145).
no_payment_due(student480).
no_payment_due(student417).
no_payment_due(student656).
no_payment_due(student560).
no_payment_due(student216).
no_payment_due(student937).
no_payment_due(student199).
no_payment_due(student385).
no_payment_due(student806).
no_payment_due(student142).
no_payment_due(student913).
no_payment_due(student790).
no_payment_due(student238).
no_payment_due(student686).


% FOLD 4
no_payment_due(student309).
no_payment_due(student515).
no_payment_due(student260).
no_payment_due(student990).
no_payment_due(student139).
no_payment_due(student126).
no_payment_due(student916).
no_payment_due(student712).
no_payment_due(student143).
no_payment_due(student970).
no_payment_due(student858).
no_payment_due(student352).
no_payment_due(student678).
no_payment_due(student169).
no_payment_due(student613).
no_payment_due(student347).
no_payment_due(student368).
no_payment_due(student52).
no_payment_due(student710).
no_payment_due(student723).
no_payment_due(student294).
no_payment_due(student955).
no_payment_due(student281).
no_payment_due(student646).
no_payment_due(student947).
no_payment_due(student805).
no_payment_due(student554).
no_payment_due(student512).
no_payment_due(student24).
no_payment_due(student526).
no_payment_due(student409).
no_payment_due(student568).
no_payment_due(student114).
no_payment_due(student271).
no_payment_due(student346).
no_payment_due(student163).
no_payment_due(student488).
no_payment_due(student779).
no_payment_due(student389).
no_payment_due(student996).
no_payment_due(student803).
no_payment_due(student372).
no_payment_due(student403).
no_payment_due(student479).
no_payment_due(student814).
no_payment_due(student59).
no_payment_due(student354).
no_payment_due(student330).
no_payment_due(student807).
no_payment_due(student246).
no_payment_due(student184).
no_payment_due(student932).
no_payment_due(student1000).
no_payment_due(student158).
no_payment_due(student769).
no_payment_due(student269).
no_payment_due(student649).
no_payment_due(student323).

% FOLD 5
no_payment_due(student841).
no_payment_due(student827).
no_payment_due(student915).
no_payment_due(student224).
no_payment_due(student316).
no_payment_due(student621).
no_payment_due(student909).
no_payment_due(student754).
no_payment_due(student477).
no_payment_due(student133).
no_payment_due(student967).
no_payment_due(student823).
no_payment_due(student211).
no_payment_due(student998).
no_payment_due(student651).
no_payment_due(student135).
no_payment_due(student856).
no_payment_due(student136).
no_payment_due(student448).
no_payment_due(student800).
no_payment_due(student48).
no_payment_due(student578).
no_payment_due(student668).
no_payment_due(student164).
no_payment_due(student428).
no_payment_due(student684).
no_payment_due(student80).
no_payment_due(student936).
no_payment_due(student783).
no_payment_due(student682).
no_payment_due(student288).
no_payment_due(student75).
no_payment_due(student261).
no_payment_due(student359).
no_payment_due(student999).
no_payment_due(student28).
no_payment_due(student147).
no_payment_due(student242).
no_payment_due(student780).
no_payment_due(student95).
no_payment_due(student337).
no_payment_due(student496).
no_payment_due(student877).
no_payment_due(student119).
no_payment_due(student642).
no_payment_due(student66).
no_payment_due(student495).
no_payment_due(student280).
no_payment_due(student196).
no_payment_due(student585).
no_payment_due(student719).
no_payment_due(student581).
no_payment_due(student112).
no_payment_due(student447).
no_payment_due(student559).
no_payment_due(student650).
no_payment_due(student153).
no_payment_due(student666).
no_payment_due(student317).
no_payment_due(student701).
no_payment_due(student688).
no_payment_due(student229).
no_payment_due(student411).
no_payment_due(student293).

% FOLD 6
no_payment_due(student458).
no_payment_due(student481).
no_payment_due(student750).
no_payment_due(student225).
no_payment_due(student15).
no_payment_due(student890).
no_payment_due(student628).
no_payment_due(student629).
no_payment_due(student237).
no_payment_due(student336).
no_payment_due(student425).
no_payment_due(student64).
no_payment_due(student493).
no_payment_due(student670).
no_payment_due(student412).
no_payment_due(student423).
no_payment_due(student430).
no_payment_due(student817).
no_payment_due(student231).
no_payment_due(student598).
no_payment_due(student945).
no_payment_due(student154).
no_payment_due(student165).
no_payment_due(student84).
no_payment_due(student378).
no_payment_due(student7).
no_payment_due(student502).
no_payment_due(student45).
no_payment_due(student838).
no_payment_due(student612).
no_payment_due(student351).
no_payment_due(student894).
no_payment_due(student31).
no_payment_due(student859).
no_payment_due(student897).
no_payment_due(student963).
no_payment_due(student993).
no_payment_due(student432).
no_payment_due(student511).
no_payment_due(student781).
no_payment_due(student702).
no_payment_due(student446).
no_payment_due(student762).
no_payment_due(student663).
no_payment_due(student603).
no_payment_due(student836).
no_payment_due(student150).
no_payment_due(student498).
no_payment_due(student250).
no_payment_due(student339).
no_payment_due(student23).
no_payment_due(student529).
no_payment_due(student253).
no_payment_due(student410).
no_payment_due(student213).
no_payment_due(student414).
no_payment_due(student492).
no_payment_due(student109).
no_payment_due(student905).
no_payment_due(student91).


% FOLD 7
no_payment_due(student610).
no_payment_due(student17).
no_payment_due(student517).
no_payment_due(student210).
no_payment_due(student645).
no_payment_due(student659).
no_payment_due(student765).
no_payment_due(student544).
no_payment_due(student297).
no_payment_due(student733).
no_payment_due(student825).
no_payment_due(student556).
no_payment_due(student257).
no_payment_due(student740).
no_payment_due(student641).
no_payment_due(student159).
no_payment_due(student334).
no_payment_due(student608).
no_payment_due(student70).
no_payment_due(student658).
no_payment_due(student538).
no_payment_due(student632).
no_payment_due(student789).
no_payment_due(student168).
no_payment_due(student842).
no_payment_due(student40).
no_payment_due(student977).
no_payment_due(student792).
no_payment_due(student241).
no_payment_due(student751).
no_payment_due(student504).
no_payment_due(student985).
no_payment_due(student908).
no_payment_due(student57).
no_payment_due(student173).
no_payment_due(student301).
no_payment_due(student6).
no_payment_due(student275).
no_payment_due(student729).
no_payment_due(student830).
no_payment_due(student527).
no_payment_due(student887).
no_payment_due(student952).
no_payment_due(student318).
no_payment_due(student63).
no_payment_due(student773).
no_payment_due(student606).
no_payment_due(student203).
no_payment_due(student595).
no_payment_due(student567).
no_payment_due(student395).
no_payment_due(student235).
no_payment_due(student804).
no_payment_due(student468).
no_payment_due(student794).
no_payment_due(student396).
no_payment_due(student282).
no_payment_due(student575).
no_payment_due(student322).
no_payment_due(student625).
no_payment_due(student46).
no_payment_due(student943).
no_payment_due(student367).
no_payment_due(student470).
no_payment_due(student927).
no_payment_due(student291).
no_payment_due(student99).
no_payment_due(student885).
no_payment_due(student661).
no_payment_due(student440).
no_payment_due(student523).


% FOLD 8
no_payment_due(student2).
no_payment_due(student421).
no_payment_due(student832).
no_payment_due(student616).
no_payment_due(student233).
no_payment_due(student273).
no_payment_due(student371).
no_payment_due(student1).
no_payment_due(student170).
no_payment_due(student50).
no_payment_due(student992).
no_payment_due(student503).
no_payment_due(student305).
no_payment_due(student753).
no_payment_due(student490).
no_payment_due(student871).
no_payment_due(student660).
no_payment_due(student174).
no_payment_due(student377).
no_payment_due(student198).
no_payment_due(student382).
no_payment_due(student849).
no_payment_due(student593).
no_payment_due(student473).
no_payment_due(student906).
no_payment_due(student400).
no_payment_due(student474).
no_payment_due(student565).
no_payment_due(student232).
no_payment_due(student746).
no_payment_due(student969).
no_payment_due(student519).
no_payment_due(student732).
no_payment_due(student690).
no_payment_due(student404).
no_payment_due(student422).
no_payment_due(student727).
no_payment_due(student689).
no_payment_due(student989).
no_payment_due(student152).
no_payment_due(student896).
no_payment_due(student262).
no_payment_due(student328).
no_payment_due(student122).
no_payment_due(student798).
no_payment_due(student579).
no_payment_due(student550).
no_payment_due(student302).
no_payment_due(student984).
no_payment_due(student539).
no_payment_due(student676).
no_payment_due(student705).
no_payment_due(student247).
no_payment_due(student96).
no_payment_due(student129).
no_payment_due(student600).
no_payment_due(student314).
no_payment_due(student255).
no_payment_due(student329).
no_payment_due(student438).
no_payment_due(student315).
no_payment_due(student757).
no_payment_due(student596).
no_payment_due(student226).

% FOLD 9
/*
no_payment_due(student533).
no_payment_due(student82).
no_payment_due(student194).
no_payment_due(student439).
no_payment_due(student26).
no_payment_due(student674).
no_payment_due(student69).
no_payment_due(student743).
no_payment_due(student760).
no_payment_due(student274).
no_payment_due(student734).
no_payment_due(student272).
no_payment_due(student472).
no_payment_due(student983).
no_payment_due(student587).
no_payment_due(student605).
no_payment_due(student300).
no_payment_due(student808).
no_payment_due(student748).
no_payment_due(student744).
no_payment_due(student553).
no_payment_due(student304).
no_payment_due(student761).
no_payment_due(student972).
no_payment_due(student117).
no_payment_due(student491).
no_payment_due(student788).
no_payment_due(student4).
no_payment_due(student522).
no_payment_due(student313).
no_payment_due(student179).
no_payment_due(student555).
no_payment_due(student797).
no_payment_due(student541).
no_payment_due(student380).
no_payment_due(student102).
no_payment_due(student758).
no_payment_due(student497).
no_payment_due(student584).
no_payment_due(student534).
no_payment_due(student181).
no_payment_due(student263).
no_payment_due(student62).
no_payment_due(student787).
no_payment_due(student97).
no_payment_due(student835).
no_payment_due(student764).
no_payment_due(student809).
no_payment_due(student867).
no_payment_due(student852).
no_payment_due(student665).
no_payment_due(student615).
no_payment_due(student699).
no_payment_due(student79).
no_payment_due(student72).
no_payment_due(student863).
no_payment_due(student976).
no_payment_due(student634).
no_payment_due(student638).
no_payment_due(student416).
no_payment_due(student617).
no_payment_due(student881).
no_payment_due(student128).
no_payment_due(student530).
no_payment_due(student968).
no_payment_due(student840).
*/



% FOLD 10
no_payment_due(student611).
no_payment_due(student333).
no_payment_due(student81).
no_payment_due(student476).
no_payment_due(student420).
no_payment_due(student217).
no_payment_due(student167).
no_payment_due(student531).
no_payment_due(student433).
no_payment_due(student118).
no_payment_due(student429).
no_payment_due(student100).
no_payment_due(student672).
no_payment_due(student270).
no_payment_due(student338).
no_payment_due(student22).
no_payment_due(student11).
no_payment_due(student39).
no_payment_due(student399).
no_payment_due(student821).
no_payment_due(student602).
no_payment_due(student485).
no_payment_due(student283).
no_payment_due(student30).
no_payment_due(student619).
no_payment_due(student946).
no_payment_due(student652).
no_payment_due(student918).
no_payment_due(student486).
no_payment_due(student738).
no_payment_due(student895).
no_payment_due(student130).
no_payment_due(student768).
no_payment_due(student576).
no_payment_due(student370).
no_payment_due(student415).
no_payment_due(student696).
no_payment_due(student590).
no_payment_due(student465).
no_payment_due(student920).
no_payment_due(student959).
no_payment_due(student879).
no_payment_due(student178).
no_payment_due(student958).
no_payment_due(student870).
no_payment_due(student956).
no_payment_due(student195).
no_payment_due(student436).
no_payment_due(student151).
no_payment_due(student847).
no_payment_due(student267).
no_payment_due(student494).
no_payment_due(student222).
no_payment_due(student778).
no_payment_due(student405).
no_payment_due(student248).
no_payment_due(student172).
no_payment_due(student588).
no_payment_due(student73).
no_payment_due(student219).
no_payment_due(student624).
no_payment_due(student655).
no_payment_due(student828).
no_payment_due(student285).
no_payment_due(student401).
no_payment_due(student609).
